$\forall$$A$, $B$:Type, $x$, $y$:$B$. ((inr $x$ ) = (inr $y$ ) $\in$ ($A$ + $B$)) $\Rightarrow$ ($x$ = $y$)